Heterogeneous Speciications and Their Application to Software Development a Research Proposal
نویسنده
چکیده
We describe a course of research examining formal and semiformal heterogeneous speciica-tions, i.e., compositions of partial speciications written in diierent textual and visual notations. We describe why we believe this to be an interesting topic for further inquiry, and suggest why such speciications might prove beneecial for use in software development.
منابع مشابه
A Calculus of Program Transformations and ItsApplicationsRahma
Traditional programming calculi focus on transforming a speciication into a program. With the advent of such recent paradigms as white box reuse, component based software development, and reengineering, and with the continued predominance of software maintenance , less and less software engineering activity nowadays deals with straightforward development. More and more, software products are de...
متن کاملBehavioral Speci cation and Analysis of Object { Oriented
Formal speciications of design models and an automated analysis system are desirable regardless of the methodology employed in the development process. The object{oriented software development paradigm is being advocated as an eeective software methodology. Yet, neither a design framework, nor a set of analysis tools has been proposed to support this claim. This research provides a basis to sup...
متن کاملCompositional Specification Calculus for Information Systems Development
The paper presents a novel approach for type speciication manipulations as the basic operations intended to develop various forms of compositions in information systems. Among them are interoperable compositions of pre-existing components formed during the information systems design, heterogeneous multidatabase compositions, database sche-ma and ontology integration, compositions of workkows, c...
متن کاملAn Approach to Animating Model-based Object-oriented Formal Speciications
| One of the important issues in the application of formal notations in software development is the validation of formal speciications against the informal customer requirements. Animation has been proposed as one of the techniques for achieving this goal. This paper describes an approach to animating object-oriented model-based formal speciications as well as a research prototype of an animati...
متن کاملHeterogeneous Analysis and Verification for Distributed Systems
In this paper we present an environment for the development of special purpose heterogeneous analysis and veriication tools, which is unique in 1) constituting a framework for the development of application speciic heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a speciication language that uniformly combines taxonomic component speciication...
متن کامل